base_address = 0x80000000;
start_address = 0x8000;
framebuffer_size = 0x400000;
